Minimal filtered free resolutions for analytic D-modules

Minimal Free Resolutions of Homogenized D-modules

Residues and filtered D-modules

For an embedding of sufficiently high degree of a smooth projective variety X into projective space, we use residues to define a filtered holonomic D-module (M, F) on the dual projective space. This gives a concrete description of the intermediate extension to a Hodge module on P of the variation of Hodge structure on the middle-dimensional cohomology of the hyperplane sections of X . We also e...

A Flatness Property for Filtered D-modules

Let M be a coherent module over the ring DX of linear differential operators on an analytic manifold X and let Z1, · · · , Z k be k germs of transverse hypersurfaces at a point x ∈ X. The Malgrange-Kashiwara V-filtrations along these hypersurfaces, associated with a given presentation of the germ of M at x, give rise to a multifiltration U • (M) of Mx as in Sabbah's paper [9] and to an analytic...

Graded Duality for Filtered D-modules

For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered D-module along the zero-section of the cotangent bundle. This follows from a similar assertion for coherent graded modules over a polynomial algebra over the ...

Strategies for Computing Minimal Free Resolutions

One of the most important computations in algebraic geometry or commutative algebra that a computer algebra system should provide is the computation of finite free resolutions of ideals and modules. Resolutions are used as an aid to understand the subtle nature of modules and are also a basis of further computations, such as computing sheaf cohomology, local cohomology, Ext, Tor, etc. Modern me...